Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the

Source URL: cedeela.fr

• Query languages
• Quantification
• Datalog
• Mathematical logic
• Prolog
• Logic programming
• Predicate
• Function
• Resolution
• Logic
• Mathematics
• Computing

A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh

Source URL: www.sirangelo.info

• Model theory
• Relational model
• Query languages
• Models of computation
• FO
• Finite model theory
• Null
• Kripke semantics
• SQL
• Logic
• Mathematical logic
• Mathematics

Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz

Source URL: www.cs.waikato.ac.nz

• Logic in computer science
• Non-classical logic
• Query languages
• Prolog
• Logic programming
• Denotational semantics
• Programming language
• Logic
• Modal logic
• Software engineering
• Computing
• Computer programming

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Meghyn Bienvenu CNRS & Université Paris Sud Orsay, France

Source URL: www.informatik.uni-bremen.de

• Data management
• Semantic Web
• Information science
• Conjunctive query
• Database theory
• Query languages
• Datalog
• Data integration
• Expressive power
• Information
• Computing
• Data

Under consideration for publication in Theory and Practice of Logic Programming 1 Book review ∗ Bart Kuipers

Source URL: cse.unl.edu

• Database theory
• Data
• Query languages
• Computer languages
• Relational database
• Relational model
• SQL
• Datalog
• Database
• Data management
• Database management systems
• Computing

Geomodification in Query Rewriting Vivian Wei Zhang, Benjamin Rey, Eugene Stipp and Rosie Jones Yahoo! Research 3333 Empire Ave Burbank, CA 91504 {zhangv,

Source URL: www.geo.unizh.ch

• Query languages
• Web search query
• Query expansion
• Spatial query
• Bin
• Spatial database
• Data integration
• Web query classification
• Information science
• Information retrieval
• Internet search

Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary

Source URL: www.cs.waikato.ac.nz

• Programming paradigms
• Query languages
• Deduction
• Database
• Relational model
• Entailment
• Modal logic
• SQL
• Knowledge representation and reasoning
• Logic
• Database management systems
• Philosophical logic

Semantic Web: Query Languages for RDF and RDFS Marcelo Arenas Pontificia Universidad Cat´ olica de Chile Centro de Investigaci´

Source URL: web.ing.puc.cl

Query Processing and Optimization • Query optimization: finding a good way to evaluate a query • Queries are declarative, and can be translated into procedural languages in more than one way • Hence one has to choo

Source URL: homepages.inf.ed.ac.uk

TriAL for RDF: Adapting Graph Query Languages for RDF Data Leonid Libkin Juan Reutter

Source URL: homepages.inf.ed.ac.uk